30 found
Order:
  1. Modal logic, the Lewis-modal systems.J. Jay Zeman - 1973 - Revue Philosophique de la France Et de l'Etranger 163:479-479.
     
    Export citation  
     
    Bookmark   12 citations  
  2.  77
    A system of implicit quantification.J. Jay Zeman - 1967 - Journal of Symbolic Logic 32 (4):480-504.
  3.  19
    Modal systems in which necessity is "factorable".J. Jay Zeman - 1969 - Notre Dame Journal of Formal Logic 10 (3):247-256.
  4.  17
    A study of some systems in the neighborhood of ${\rm S}4.4$.J. Jay Zeman - 1971 - Notre Dame Journal of Formal Logic 12 (3):341-357.
  5.  25
    Modality and the Peircean Concept of Belief.J. Jay Zeman - 1974 - Semiotica 10 (3).
  6.  20
    Semantics for ${\rm S}4.3.2$.J. Jay Zeman - 1972 - Notre Dame Journal of Formal Logic 13 (4):454-460.
  7.  21
    Peirce's Graphs—The Continuity Interpretation.J. Jay Zeman - 1968 - Transactions of the Charles S. Peirce Society 4 (3):144 - 154.
  8.  36
    Complete modalization in $S4.4$ and $S4.0.4$.J. Jay Zeman - 1969 - Notre Dame Journal of Formal Logic 10 (3):257-260.
  9.  19
    Quantum logic with implication.J. Jay Zeman - 1979 - Notre Dame Journal of Formal Logic 20 (4):723-728.
  10.  15
    ${\rm S}4.6$ is ${\rm S}4.9$.J. Jay Zeman - 1972 - Notre Dame Journal of Formal Logic 13 (1):118-118.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  15
    The propostitional calculus ${\rm MC}$ and its modal analog.J. Jay Zeman - 1968 - Notre Dame Journal of Formal Logic 9 (4):294-298.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  22
    Generalized normal logic.J. Jay Zeman - 1978 - Journal of Philosophical Logic 7 (1):225 - 243.
  13.  23
    Normal implications, bounded posets, and the existence of meets.J. Jay Zeman - 1979 - Notre Dame Journal of Formal Logic 20 (3):685-688.
  14.  6
    Two basic pure-implicational systems.J. Jay Zeman - 1979 - Notre Dame Journal of Formal Logic 20 (3):674-684.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  6
    The deduction theorem in ${\rm S}4,$ ${\rm S}4.2$, and ${\rm S}5$.J. Jay Zeman - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):56-60.
  16.  8
    Certain Extensions of Modal System S4.Boleslaw Sobocinski, G. F. Schumm & J. Jay Zeman - 1975 - Journal of Symbolic Logic 40 (4):602-602.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  22
    Charles W. Morris (1901-1979).J. Jay Zeman - 1981 - Transactions of the Charles S. Peirce Society 17 (1):3 - 24.
  18.  6
    Decision procedures for S3∘ and S4∘.J. Jay Zeman - 1969 - Archive for Mathematical Logic 12 (3-4):155-158.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  21
    Lemmon-style bases for the systems s1⚬ - s4⚬.J. Jay Zeman - 1968 - Journal of Symbolic Logic 33 (3):458 - 461.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  20.  19
    Lemmon-Style Bases for the Systems $S1^circ - S4^circ$.J. Jay Zeman - 1968 - Journal of Symbolic Logic 33 (3):458-461.
  21.  34
    Normal, Sasaki, and classical implications.J. Jay Zeman - 1979 - Journal of Philosophical Logic 8 (1):243 - 245.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  25
    Some calculi with strong negation primitive.J. Jay Zeman - 1968 - Journal of Symbolic Logic 33 (1):97-100.
  23.  11
    Semantics for S4.3.2.J. Jay Zeman - 1972 - Notre Dame Journal of Formal Logic 13:454.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  5
    S4.6 is S4.9.J. Jay Zeman - 1972 - Notre Dame Journal of Formal Logic 13:118.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  5
    The deduction theorem in S4, S4.2, and S5.J. Jay Zeman - 1967 - Notre Dame Journal of Formal Logic 8:56.
  26.  42
    The semisubstitutivity of strict implication.J. Jay Zeman - 1968 - Journal of Symbolic Logic 33 (3):462-464.
  27.  13
    Bases for S$4$ and S$4.2$ without added axioms. [REVIEW]J. Jay Zeman - 1963 - Notre Dame Journal of Formal Logic 4 (3):227-230.
  28.  8
    A. N. Prior. Some axiom-pairs for material and strict implication. Zeitsckrift für matkematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 61–65. [REVIEW]J. Jay Zeman - 1972 - Journal of Symbolic Logic 37 (1):184-185.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  28
    Review: Don Davis Roberts, The Existential Graphs and Natural Deduction. [REVIEW]J. Jay Zeman - 1970 - Journal of Symbolic Logic 35 (2):320-321.
  30.  10
    Review: Richard M. Martin, On Acting on a Belief. [REVIEW]J. Jay Zeman - 1970 - Journal of Symbolic Logic 35 (1):132-132.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark